Automata construction

Results: 60



#Item
51Compiler construction / Programming language implementation / Pattern matching / Automata theory / Ragel / Lex / Finite-state machine / Regular expression / Parsing / Computing / Software / Parser generators

Ragel State Machine Compiler User Guide by Adrian Thurston

Add to Reading List

Source URL: www.complang.org

Language: English - Date: 2013-02-11 20:16:48
52Formal languages / Computing / Automata theory / Models of computation / Parsing / Lexical analysis / Context-free grammar / Parse tree / Regular expression / Programming language implementation / Software engineering / Compiler construction

Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval

Add to Reading List

Source URL: scheme2006.cs.uchicago.edu

Language: English - Date: 2006-08-29 21:53:24
53Automata theory / Systems theory / Science / Dynamical systems / Hybrid automaton / Hybrid system / Invariant / Reachability / State space / Control theory / Differential equations / Mathematics

Reducing the Wrapping Effect in Flowpipe Construction using Pseudo-Invariants (Work in Progress) Stanley Bak [removed] United States Air Force Research Lab - Information Directorate - Rome, NY, USA

Add to Reading List

Source URL: stanleybak.com

Language: English - Date: 2014-04-14 22:54:28
54Computer science / Deterministic finite automaton / Nondeterministic finite automaton / Model theory / Regular language / Structure / First-order logic / Powerset construction / Linear temporal logic / Automata theory / Theoretical computer science / Logic

Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2013-06-11 21:41:58
55Finite-state machine / Nondeterministic finite automaton / Alphabet / Powerset construction / Deterministic automaton / State transition table / Deterministic finite automaton / Deterministic pushdown automaton / Automata theory / Theory of computation / Theoretical computer science

CHAPTER ✦

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-18 21:43:57
56Applied mathematics / Nondeterministic finite automaton / Powerset construction / Regular expression / Regular language / Finite-state machine / LR parser / LL parser / Pushdown automaton / Automata theory / Theoretical computer science / Computer science

Notes on Formal Language Theory and Parsing

Add to Reading List

Source URL: www.cs.may.ie

Language: English - Date: 2009-03-18 06:58:13
57Compiler construction / Programming language implementation / Pattern matching / Automata theory / Ragel / Lex / Finite-state machine / Regular expression / Parsing / Computing / Software / Parser generators

Ragel State Machine Compiler User Guide

Add to Reading List

Source URL: www.complang.org

Language: English - Date: 2009-12-02 20:58:17
58Formal languages / Parser generators / Pattern matching / Automata theory / Compiler construction / Parsing / Ragel / Regular expression / Nondeterministic finite automaton / Computing / Software engineering / Software

PDF Document

Add to Reading List

Source URL: www.complang.org

Language: English - Date: 2006-07-20 18:13:39
59Compiler construction / Programming language implementation / Pattern matching / Automata theory / Ragel / Lex / Finite-state machine / Regular expression / Parsing / Computing / Software / Parser generators

PDF Document

Add to Reading List

Source URL: www.complang.org

Language: English - Date: 2011-05-22 15:43:04
60Computer science / Nondeterministic finite automaton / Deterministic finite automaton / Powerset construction / Generalized nondeterministic finite automaton / Automata theory / Models of computation / Theoretical computer science

PDF Document

Add to Reading List

Source URL: cseweb.ucsd.edu

Language: English - Date: 2007-12-07 14:46:59
UPDATE